A Denotational Framework for Data Flow Analysis
نویسندگان
چکیده
منابع مشابه
A Framework for Partial Data Flow Analysis
Although data pow analysis was first developed for use in compilers, i t s usefulness is now recognized in many software tools. Because of its compiler origins, the computation of data pow for software tools is based on the traditional exhaustive data flow framework. However, although this framework is useful for computing data pow for compilers, it is not the most appropriate for sofsware tool...
متن کاملA Framework for Analysis of Anonymized Network Flow Data
Many projects analyze application overlay networks on the Internet using packet analysis and network flow data. This is infeasible on many networks: either the volume of data makes packet inspection intractable, or privacy concerns forbid packet capture and require the dissociation of network flows from users’ identities. We describe a framework for exploration of usage patterns even under circ...
متن کاملData - Flow Framework for
This paper presents a framework, based on global array data-ow analysis, to reduce communication costs in a program being compiled for a distributed memory machine. This framework applies techniques for partial redundancy elimination to available section descriptors, a novel representation of communication involving array sections. With a single framework, we are able to capture numerous optimi...
متن کاملa new approach to credibility premium for zero-inflated poisson models for panel data
هدف اصلی از این تحقیق به دست آوردن و مقایسه حق بیمه باورمندی در مدل های شمارشی گزارش نشده برای داده های طولی می باشد. در این تحقیق حق بیمه های پبش گویی بر اساس توابع ضرر مربع خطا و نمایی محاسبه شده و با هم مقایسه می شود. تمایل به گرفتن پاداش و جایزه یکی از دلایل مهم برای گزارش ندادن تصادفات می باشد و افراد برای استفاده از تخفیف اغلب از گزارش تصادفات با هزینه پائین خودداری می کنند، در این تحقیق ...
15 صفحه اولA statistical analysis framework for bus reliability evaluation based on AVL data: A case study of Qazvin, Iran
Reliability is a fundamental factor in the operation of bus transportation systems for the reason that it signifies a straight indicator of the quality of service and operator’s costs. Todays, the application of GPS technology in bus systems provides big data availability, though it brings the difficulties of data preprocessing in a methodical approach. In this study, the principal component an...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: DAIMI Report Series
سال: 1981
ISSN: 2245-9316,0105-8517
DOI: 10.7146/dpb.v10i135.7410